Ultrametric Spaces in Continuous Logic
نویسنده
چکیده
We investigate the continuous model theory of ultrametric spaces of diameter ≤ 1. There is no universal Polish ultrametric space of diameter 1; but there is a Polish ultrametric space, Umax, taking distances in Q∩[0, 1], which is universal for all such Polish ultrametric spaces. We show that in the continuous theory of Umax, nonforking is characterized by a stable independence relation, which is a continuous version of “forking by equality” in first-order logic. Finally, we show that the theory of Umax is strictly stable.
منابع مشابه
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces
We analyze the reducibilities induced by, respectively, uniformly continuous, Lipschitz, and nonexpansive functions on arbitrary ultrametric Polish spaces, and determine whether under suitable set-theoretical assumptions the induced degree-structures are well-behaved.
متن کاملExistentially equivalent cyclic ultrametric spaces and cyclically valued groups
The notions of ultrametric distances and cyclic valuations appear when the set of values of the distance map is a cyclically ordered set. These structures can be described as subspaces of cartesian products. In this paper we characterize existentially equivalence between cyclically ultrametric spaces, as well as existentially equivalence between generalized ultrametric spaces. We also describe ...
متن کاملVector ultrametric spaces and a fixed point theorem for correspondences
In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.
متن کاملCompleteness in Generalized Ultrametric Spaces
Γ-ultrametric spaces are spaces which satisfy all the axioms of an ultrametric space except that the distance function takes values in a complete lattice Γ instead of R≥0. Γ-ultrametric spaces have been extensively studied as a way to weaken the notion of an ultrametric space while still providing enough structure to be useful (see for example [17], [18], [8]). The many uses of Γ-ultrametric sp...
متن کاملGeneralized hyperstability of the cubic functional equation in ultrametric spaces
In this paper, we present the generalized hyperstability results of cubic functional equation in ultrametric Banach spaces using the fixed point method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014